signature ORDERED_SET_ELEMENT =
  sig
    type element
    val le : element * element -> bool	(* a total order *)
    val elementString : element -> string
  end
